Algebraiczna i strukturalna teoria automatów

POZ/ODP:

pod red. Bolesława Mikołajczaka ; [aut. Jan Bergandy et al.] ; Polska Akademia Nauk. Instytut Podstaw Informatyki.

ADRES WYD.:

Warszawa ; Łódź : Państ. Wydaw. Naukowe, 1985 (Łódź : ZGWN).

HASŁA:

1. Automaty - teoria - matematyka
2. Grafy - teoria - stosowanie
3. Logika matematyczna - stosowanie

OPIS FIZYCZ.:

355, [1] s. : rys. ; 24 cm.

SYGNATURA:

[MC] 519.7:510.6:519.1

KOD/INWENT:

301000186528

18652

UKD:

519.7:510.6:519.1

UWAGI:

Bibliogr. s. 335-343. - Indeksy. - Rez., sum.

DOSTĘPNOŚĆ:

AUTOR:

Wojciechowska, Agnieszka.

POZ/ODP:

Agnieszka Wojciechowska.

ADRES WYD.:

Warszawa : Państwowe Wydaw. Naukowe, 1979.

HASŁA:

1. Logika matematyczna - podręcznik akademicki

OPIS FIZYCZ.:

200 s. : il., tab. ; 21 cm.

SYGNATURA:

[MC] 510.6+510.22](075.8)

KOD/INWENT:

301000079776

7977

UKD:

510.6+510.22](075.8)

UWAGI:

Indeksy.

DOSTĘPNOŚĆ:

AUTOR:

Marek, Wiktor.

POZ/ODP:

Wiktor Marek, Janusz Onyszkiewicz.

ADRES WYD.:

Warszawa : Wydaw. Naukowe PWN, 2001.

HASŁA:

1. Logika matematyczna - podręcznik akademicki
2. Teoria mnogości - podręcznik akademicki

WYDANIE:

Wyd. 10.

OPIS FIZYCZ.:

[2], 273, [1] s. : il. ; 21 cm.

SYGNATURA:

[F7] 510.6+510.22](075.8)

KOD/INWENT:

107000664802

66480

UKD:

510.6+510.22](075.8)

UWAGI:

Bibliogr. s. 264.

DOSTĘPNOŚĆ:

AUTOR:

Marek, Wiktor.

POZ/ODP:

Wiktor Marek, Janusz Onyszkiewicz.

ADRES WYD.:

Warszawa : Wydaw. Naukowe PWN, 2001.

HASŁA:

1. Logika matematyczna - podręcznik akademicki
2. Teoria mnogości - podręcznik akademicki

WYDANIE:

Wyd. 10.

OPIS FIZYCZ.:

[2], 273, [1] s. : il. ; 21 cm.

SYGNATURA:

MAGAZYN: [MW] 142058

KOD/INWENT:

300001420587

142058

UKD:

510.6+510.22](075.8)

UWAGI:

Bibliogr. s. 264.

DOSTĘPNOŚĆ:

AUTOR:

Słupecki, Jerzy.

POZ/ODP:

Jerzy Słupecki, Ludwik Borkowski.

ADRES WYD.:

Warszawa : Państ. Wydaw. Naukowe, 1984 (Łódź : ZGWN).

HASŁA:

1. Logika matematyczna - podręcznik akademicki
2. Teoria mnogości - podręcznik akademicki

WYDANIE:

Wyd. 4.

OPIS FIZYCZ.:

306, [1] s. ; 24 cm.

SYGNATURA:

[MC] 510.6+510.22](075.8)

KOD/INWENT:

301000156651

15665

UKD:

510.6+510.22](075.8)

UWAGI:

Indeks.

DOSTĘPNOŚĆ:

AUTOR:

Hodges, Andrew.

POZ/ODP:

Andrew Hodges ; przeł. Wiktor Bartol.

ADRES WYD.:

Warszawa : Prószyński i S-ka, 2002.

HASŁA:

1. Turing, Alan - twórczość
2. Logika matematyczna - historia - Wielka Brytania - 20 w.
3. Matematyka - historia - Wielka Brytania

OPIS FIZYCZ.:

459, [2] s., [8] k. tabl. il. ; 24 cm.

SYGNATURA:

[MW] 51

KOD/INWENT:

300001438773

143877

UKD:

510.6+519.6:929-052](410)-052](410)A/Z"19"

DOSTĘPNOŚĆ:

AUTOR:

Pogorzelski, Witold A.

POZ/ODP:

Witold A.Pogorzelski.

ADRES WYD.:

Warszawa : Państ. Wydaw. Naukowe, 1981 (Pozn : UAM).

HASŁA:

1. Logika matematyczna

OPIS FIZYCZ.:

227, [1] s. : err. ; 24 cm.

SYGNATURA:

[MC] 510.6

KOD/INWENT:

301000107103

10710

UKD:

510.6

UWAGI:

Bibliogr. s. 214-215. - Spis treści także ang. i ros. - Indeksy.

DOSTĘPNOŚĆ:

AUTOR:

Buszkowski, Wojciech.

POZ/ODP:

Wojciech Buszkowski.

ADRES WYD.:

Warszawa : Państ. Wydaw. Naukowe, 1989 (Wroc. : WDNSK).

SERIA:

Logika i Zastosowania Logiki

HASŁA:

1. Gramatyka
2. Językoznawstwo matematyczne
3. Logika matematyczna

OPIS FIZYCZ.:

271, [1] s. : err. ; 20 cm.

SYGNATURA:

[MC] 164:510.6:801.5

KOD/INWENT:

301000237114

23711

UKD:

164:510.6:801.5

UWAGI:

Bibliogr. s. 263-268. - Indeks.

DOSTĘPNOŚĆ:

POZ/ODP:

pod red. Witolda Marciszewskiego.

ADRES WYD.:

Warszawa : Państ. Wydaw. Naukowe, 1987 (Wroc. : WDNSK).

HASŁA:

1. Logika matematyczna

OPIS FIZYCZ.:

472 s. : rys., err. ; 25 cm.

SYGNATURA:

MAGAZYN: [MC] 20604

KOD/INWENT:

301000206042

20604

UKD:

164

UWAGI:

Bibliogr. s. 436-459. Indeksy.

DOSTĘPNOŚĆ:

POZ/ODP:

pod red. Witolda Marciszewskiego.

ADRES WYD.:

Warszawa : Państ. Wydaw. Naukowe, 1987 (Wroc. : WDNSK).

HASŁA:

1. Logika matematyczna

OPIS FIZYCZ.:

472 s. : rys., err. ; 25 cm.

SYGNATURA:

MAGAZYN: [MW] 101090

KOD/INWENT:

300001010900

101090

UKD:

164

UWAGI:

Bibliogr. s. 436-459. Indeksy.

DOSTĘPNOŚĆ:

AUTOR:

Słupecki, Jerzy

POZ/ODP:

Jerzy Słupecki, Katarzyna Hałkowska, Krystyna Piróg-Rzepecka.

ADRES WYD.:

Warszawa : Wydawnictwo Naukowe PWN, 1994 (Łódź : DWN).

HASŁA:

1. Logika matematyczna - podręcznik akademicki
2. Teoria mnogości - podręcznik akademicki

WYDANIE:

Wyd. 2 popr.

OPIS FIZYCZ.:

311, [1] s. : rys. ; 24 cm.

SYGNATURA:

MAGAZYN: [MW] 172758

KOD/INWENT:

400001727584

172758

UKD:

510.6:510.22](075.8)

PRZEZNACZ.:

Podręcznik dla kierunku matematyki wyższych szkół pedagogicznych i specjalności nauczycielskiej uniwersytetów.

UWAGI:

Bibliogr. s. 297. Indeksy.

DOSTĘPNOŚĆ: